Physical register reference counting

Real-Time Reference Counting

Real-time software is commonly written in low level languages such as C and assembler. Such software is often hard to test, maintain, and port to other platforms. To improve this situation, high level languages are introduced in the real-time domain. The Java programming language has many properties that are appealing to real-time system development, e.g. robustness and portability. However, it...

Generational Cyclic Reference Counting

Distributed Cyclic Reference Counting

We present a distributed cyclic reference counting algorithm which incorporates both, the correct management of cyclic data structures and the improvement of lazy mark-scan. The algorithm allows processors to run local mark-scan simultaneously without any need of synchronisation between phases of di erent local mark-scans either on the same processor or on di erent processors.

Critical Reference Counting

In traditional languages such as Pascal, C and C++ the management of allocation and deallocation of memory is left to the programmer. Leaving such a task to the programmer is error prone and cumbersome. In many recent programming languages the compiler performs this task for the programmer. However compiler-writers often implement automatic memory management as an add-on, going out of their way...

Verifying Reference Counting Implementations

Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing upon a release; resources whose counts fall to zero may be recycled. We present an algorithm to verify the correctness of reference counting with minimal user interaction. Our algorithm performs compositional verific...